121. Entity-Relationship Approach - ER '94. Business Modelling and Re-Engineering :
Author: by Pericles Loucopoulos.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Computer simulation.
122. Environmental software systems :
Author: edited by Jiří Hřebíček, Ralf Denzer, Gerald Schimak, Tomáš Pitner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cloud computing, Congresses.,Environmental sciences-- Data processing, Congresses.,Sensor networks, Congresses.,Ubiquitous computing, Congresses.,Artificial intelligence.,Cloud computing.,Computer modelling & simulation.,Computers-- Computer Simulation.,Computers-- Data Processing.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Environmental sciences-- Data processing.,Information retrieval.,Information technology: general issues.,Network hardware.,Sensor networks.,Software Engineering.,Ubiquitous computing.
Classification :
QA76
.
76
.
A65
123. Event-based neuromorphic systems /
Author: edited by Shih-Chii S. Liu, Tobi Delbruck, Giacomo Indiveri, Adrian Whatley, Rodney Douglas
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Discrete-time systems.,Neural networks (Neurobiology)-- Simulation methods.,Neuromorphics.
Classification :
TA164
.
4
124. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb
125. Formal modeling :
Author: Gul Agha, Olivier Danvy, José Meseguer. (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
Classification :
QA76
.
9
.
F67
F67
2011
126. Formal modeling and analysis of timed systems :
Author: David N. Jansen, Pavithra Prabhakar (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
Classification :
QA76
.
9
.
F67
127. Formal modeling and analysis of timed systems :
Author: Uli Fahrenberg, Stavros Tripakis (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
Classification :
QA76
.
9
.
C65
F67
2011
128. From Mathematical Modeling to Simulation and Prototyping-Understanding LTE with MATLAB
Author: / Zarrinkoub
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ELECTRONIC|ENGINEERING, TELECOMMUNICATIONS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, ELECTRICAL
Classification :
E-BOOK
129. From Multiscale Modeling to Meso-Scienc
Author: / by Jinghai Li, Wei Ge, Wei Wang, Ning Yang, Xinhua Liu, Limin Wang, Xianfeng He, Xiaowei Wang, Junwu Wang, Mooson Kwauk
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Engineering,Chemical engineering,Computer aided design,Physics,Hydraulic engineering,Electric engineering,Electronic books
Classification :
E-BOOK
130. Frontier computing :
Author: Jason C. Hung, Neil Y. Yen, Kuan-Ching Li, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Databases, Congresses.,Information technology, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Databases.,Information technology.
Classification :
QA75
.
5
131. Frontiers in Gaming Simulation
Author: / Sebastiaan A. Meijer, Riitta Smeds
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
132. Frontiers in Materials Modelling and Design
Author: edited by Vijay Kumar, Surajit Sengupta, Baldev Raj.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical physics.,Nanotechnology.,Physics.,Software engineering.,Surfaces (Physics).
133. Fundamentals of Algebraic Specification 2 :
Author: by Hartmut Ehrig, Bernd Mahr.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
9
.
L63
B943
1990
134. GI - 20. Jahrestagung I :
Author: herausgegeben von A. Reuter.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.
Classification :
QA75
.
5
H473
1990
135. Grasping in Robotic
Author: / edited by Giuseppe Carbone
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Engineering,Artificial intelligence,Computer simulation,Electronic books
Classification :
E-BOOK
136. Guide to Scientific Computing in C++ /
Author: by Joe Pitt-Francis, Jonathan Whiteley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer Science.,Computer simulation.,Math Applications in Computer Science.,Numeric Computing.,Numerical analysis.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Programming Techniques.,Simulation and Modeling.,Software engineering.,Software Engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.
Classification :
QA76
.
6-76
.
66
137. Guide to scientific computing in C++ /
Author: Joe Pitt-Francis, Jonathan Whiteley.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: C++ (Computer program language),Science-- Data processing.,C++ (Computer program language),Computer modelling & simulation.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Data Processing.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Maths for computer scientists.,Programming & scripting languages: general.,Science-- Data processing.,Software Engineering.
Classification :
QA76
.
73
.
C153
138. Handbook of Conceptual Modeling :
Author: David W Embley
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer simulation.,Software engineering.
Classification :
QA76
.
9
.
C65
D385
2011
139. Handbook of Signal Processing System
Author: / edited by Shuvra S. Bhattacharyya, Ed F. Deprettere, Rainer Leupers, Jarmo Takala
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Engineering,Computer network architectures,Computer science,Telecommunication,Electronic books
Classification :
E-BOOK
140. Handbook of dynamic data driven applications systems
Author:
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: علم رایانه,Computer Science,علم الحاسوب,طراحی سیستم,System design,کامپیوترها,Computer simulation, -- شبیهسازی,a03,a03,a03,a06,a06,a08,a08,Systems Analysis & Design; ,Simulation and Modeling; ,Systems Theory, Control; ,Models and Principles.
